int zero();
